Enforcing Different Contracts in Hierarchical Component-Based Systems
نویسندگان
چکیده
Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how TLA, taken as an instance of behavioral sequence-based formalism, was integrated in ConFract. A domain specific language is proposed in order to enable designers to describe the observations needed to appropriately verify their specifications. These observations are automatically generated for assertions and in the case of TLA, we show what kind of observations must be provided to link the specifications to the concrete application.
منابع مشابه
Enforcing RBAC Policies over Data Stored on Untrusted Server (Extended Version)
One of the security issues in data outsourcing is the enforcement of the data owner’s access control policies. This includes some challenges. The first challenge is preserving confidentiality of data and policies. One of the existing solutions is encrypting data before outsourcing which brings new challenges; namely, the number of keys required to access authorized resources, efficient policy u...
متن کاملNégociation de contrats dans les systèmes à composants logiciels hiérarchiques. (Contract negotiation for hierarchical component-based software systems)
Modern software systems are characterized by their increasing complexity and the strong requirements with respect to the continuity and availability of services. To address these needs, the componentbased software engineering and the contractual approach represent two relevant approaches which aims at facilitating the construction of larger systems and increasing their reliability. In addition,...
متن کاملHierarchical Facility Location and Hub Network Problems: A literature review
In this paper, a complete review of published researches about hierarchical facility location and hub network problems is presented. Hierarchical network is a system where facilities with different service levels interact in a top-down way or vice versa. In Hierarchical systems, service levels are composed of different facilities. Published papers from (1970) to (2015) have been studied and a c...
متن کاملModel-Based Analysis of Contract-Based Real-Time Scheduling
We apply automata theory to analyze the schedulability of real-time component-based applications running on uniform multi-processor platforms. The resource requirements of each application or application component are specified in a service contract resulting a hierarchy of contracts. As we are interested in determining the schedulability of such applications, this hierarchy of contracts is map...
متن کاملVers la négociation de contrats dans les composants logiciels hiérarchiques
The contractual approach turns out to be well-suited to specification and verification needs in component-based software systems. However, contracts are frequently challenged by dynamic re-configurations and fluctuations of non functional aspects. To solve this problem, we propose, in this article, a first negotiation model which aims at automatically restoring the validity of contracts. We als...
متن کامل